Pays
Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la télématique

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Eléments de l'association

Norvège192
Cyril Carrez3
Norvège Sauf Cyril Carrez" 189
Cyril Carrez Sauf Norvège" 0
Norvège Et Cyril Carrez 3
Norvège Ou Cyril Carrez 192
Corpus13574
\n\n\n\n \n

List of bibliographic references

Number of relevant bibliographic references: 3.
Ident.Authors (with country if any)Title
000A40 Jacqueline Floch [Norvège] ; Cyril Carrez [Norvège]A Developer-Friendly Approach for the Validation of Dynamic Compositions
001876 Cyril Carrez [Norvège] ; Jacqueline Floch [Norvège] ; Richard Sanders [Norvège]Describing Component Collaboration Using Goal Sequences
002612 Shanshan Jiang [Norvège] ; Cyril Carrez [Norvège] ; Finn Arve Aagesen [Norvège]Automatic Translation of Service Specification to a Behavioral Type Language for Dynamic Service Verification
Wicri

This area was generated with Dilib version V0.6.31.
Data generation: Thu Nov 2 16:09:04 2017. Site generation: Sun Mar 10 16:42:28 2024